[MINIOS] Add timer support.
authorkfraser@localhost.localdomain <kfraser@localhost.localdomain>
Wed, 15 Nov 2006 09:33:01 +0000 (09:33 +0000)
committerkfraser@localhost.localdomain <kfraser@localhost.localdomain>
Wed, 15 Nov 2006 09:33:01 +0000 (09:33 +0000)
commit4aad88265bede002cb3e8a01bc6a8581c3424f6e
tree509157021cc7617217339f9d2a293dec3796d4cc
parenta4be7b6267be611349c5282363e00ae2847fc0ab
[MINIOS] Add timer support.

Based on an original patch by Robert Kaiser.

Signed-off-by: Grzegorz Milos <gm281@cam.ac.uk>
extras/mini-os/README
extras/mini-os/include/sched.h
extras/mini-os/include/time.h
extras/mini-os/kernel.c
extras/mini-os/sched.c
extras/mini-os/time.c